Code reuse through polymorphic variants∗ Jacques Garrigue November 8, 2000 Abstract Their support for code reuse has made object-oriented languages popular. However,

Source URL: www.math.nagoya-u.ac.jp

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Data types
• Type theory
• Eval
• Standard ML
• Anonymous function
• HindleyMilner type system
• OCaml
• Polymorphism

CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 0000; 00:1–21 Published online in Wiley InterScience (www.interscience.wiley.com). DOI: cpe Testing for Linearizability

Source URL: www.cs.ox.ac.uk

• Concurrency control
• Transaction processing
• Abstract data types
• Linearizability
• Queue
• Schedule
• Double-ended queue
• Algorithm
• Graph traversal
• Continuation
• Non-blocking algorithm

Hierarchical Pointer Analysis for Distributed Programs Amir Kamil Katherine Yelick Computer Science Division, University of California, Berkeley

Source URL: titanium.cs.berkeley.edu

• Data types
• Primitive types
• Computing
• Software engineering
• Pointer
• Stack
• Reference
• Abstract interpretation

Photo or figure (optional)

Source URL: www.strc.ch

• Transport
• Land transport
• Business
• Road transport
• Transportation engineering
• Road traffic management
• Abstract data types
• Traffic flow
• Monitor
• Intelligent transportation system
• Queueing theory
• Fundamental diagram of traffic flow

CT for Binary Codes draft-zhang-trans-ct-binary-codes-03 Dacheng Zhang Daniel Kahn Gillmor Changes since IETF91(1)

Source URL: www.ietf.org

• Procedural programming languages
• Cross-platform software
• Data types
• C
• Enumerated type
• Type theory
• Struct
• Abstract Syntax Notation One
• D
• Binary star
• ALGOL 68
• Binary code

Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant tifact “Every block of stone has a statue inside it and it is the task of the sculptor to discover it.”

Source URL: pit-claudel.fr

Mostly Sound Type System Improves a Foundational Program Verifier Josiah Dodds and Andrew W. Appel Princeton University Abstract. We integrate a verified typechecker with a verified program

Source URL: www.cs.princeton.edu

• Software engineering
• Computing
• Logic
• Data types
• Functional programming
• Lambda calculus
• Type theory
• Logic in computer science
• Eval
• Hoare logic
• Anonymous function
• Separation logic

Replicated Data Types: Specification, Verification, Optimality Sebastian Burckhardt Alexey Gotsman Hongseok Yang

Source URL: software.imdea.org

• Computing
• Data types
• Software engineering
• Computer programming
• Abstract data types
• Fault-tolerant computer systems
• Type theory
• Consistency model
• Transaction processing
• Replication
• String
• List

Home Screen: This is what appears after you login (Login at: https://tbe.taleo.net/MANAGER/dispatcher/login.jsp?) To create a new requisition in Taleo: • Click on new requisitions under the “requisitions” tab

Source URL: hr.fhda.edu

• Business
• Economy
• Human resource management
• Management
• Procurement
• Requisition
• Abstract data types
• Taleo
• Queue